A Characterization of Minimal Locally Finite Varieties
نویسنده
چکیده
In this paper we describe a one–variable Mal′cev–like condition satisfied by any locally finite minimal variety. We prove that a locally finite variety is minimal if and only if it satisfies this Mal′cev–like condition and it is generated by a strictly simple algebra which is nonabelian or has a trivial subalgebra. Our arguments show that the strictly simple generator of a minimal locally finite variety is unique, it is projective and it embeds into every member of the variety. We give a new proof of the structure theorem for strictly simple abelian algebras that generate minimal varieties.
منابع مشابه
Minimal Sets and Varieties
The aim of this paper is twofold. First some machinery is established to reveal the structure of abelian congruences. Then we describe all minimal, locally finite, locally solvable varieties. For locally solvable varieties, this solves problems 9 and 10 of Hobby and McKenzie. We generalize part of this result by proving that all locally finite varieties generated by nilpotent algebras that have...
متن کاملProjectivity and unification in the varieties of locally finite monadic MV-algebras
A description of finitely generated free monadic MV -algebras and a characterization of projective monadic MV -algebras in locally finite varieties is given. It is shown that unification type of locally finite varieties is unitary.
متن کاملA Characterization of Decidable Locally Finite Varieties
We describe the structure of those locally finite varieties whose first order theory is decidable. A variety is a class of universal algebras defined by a set of equations. Such a class is said to be locally finite if every finitely generated member of the class is finite. It turns out that in order for such a variety to have a decidable theory it must decompose into the varietal product of thr...
متن کاملFinite Axiomatizability of Congruence Rich Varieties
In this paper we introduce the notion of a congruence rich variety of algebras, and investigate which locally finite subvarieties of such a variety are relatively finitely based. We apply the results obtained to investigate the finite axiomatizability of an interesting variety generated by a particular five-element directoid. Roughly speaking, congruence rich varieties are those in which all la...
متن کاملMal’tsev Conditions, Lack of Absorption, and Solvability
We provide a new characterization of several Mal’tsev conditions for locally finite varieties using hereditary term properties. We show a particular example how lack of absorption causes collapse in the Mal’tsev hierarchy, and point out a connection between solvability and lack of absorption. As a consequence, we provide a new and conceptually simple proof of a result of Hobby and McKenzie, say...
متن کامل